https://observador.cr/15-de-abril-es-feriado-por-el-dia-de-juan-santamaria-es-de-pago-obligatorio/
15 de abril es feriado por el Día de Juan Santamaría; es de pago obligatorio